@type a::list

@type b(p)::p
